Electronic design automation - PDFSEARCH.IO - Document Search Engine

Electronic design automation
Results: 1598

#	Item
631	Keysight Technologies EEsof EDA Premier Communications Design Software Technical Overview Add to Reading List Source URL: literature.cdn.keysight.com Language: English - Date: 2014-10-28 23:45:08 Electrodynamics Electronic design EEsof Advanced Design System Computational electromagnetics Simulation software SPICE Integrated circuit design Simulation Electronic engineering Electronic design automation Computational science
632	Accellera Continues to Promote Increased Electronic Design Productivity with Revised VHDL Standard Revision approval follows Accellera’s approval of VHDL API specification NAPA, Calif., Oct. 9, 2006, — Accellera, the Add to Reading List Source URL: www.research.ibm.com Language: English - Date: 2006-10-22 05:04:56 Standards organizations Hardware verification languages IEEE standards Accellera VHDL Property Specification Language IEEE Standards Association Verilog Institute of Electrical and Electronics Engineers Electronic engineering Electronic design automation Hardware description languages
633	JOURNAL OF ELECTRONIC TESTING: Theory and Applications, 3, [removed]1992 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. An Efficient Design of Embedded Memories and their Testability Analysi Add to Reading List Source URL: deepblue.lib.umich.edu Language: English - Date: 2015-01-19 11:48:27 Markov models Markov processes Electronic design Integrated circuits Markov chain Linear feedback shift register Stuck-at fault Dynamic random-access memory Fault coverage Electronic engineering Electronic design automation Electronics
634	metaSMT: A Unified Interface to SMT-LIB2 Heinz Riener, Mathias Soeken, Clemens Werther, Görschwin Fey and Rolf Drechsler University of Bremen [removed] Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2014-10-20 06:13:55 C++ Constraint programming Electronic design automation Satisfiability Modulo Theories Z3 X26 Typedef X38 CTX Theoretical computer science Applied mathematics NP-complete problems
635	CALL FOR PAPERS International Conference on Formal Methods in Computer-Aided Design (FMCAD’98) Palo Alto, CA, USA 4 – 6 November 1998 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2009-12-18 14:46:37 Logic design Electronic design automation Hillsboro Oregon Synopsys Model checking Automated theorem proving Logic simulation Electronic engineering Digital electronics Formal methods
636	MICHAEL MOLLOY, University of Toronto Sharp Thresholds in Random Constraint Satisfaction Problems We consider a wide family of models for random constraint satisfaction problems. This family includes random k-SAT, random Add to Reading List Source URL: cms.math.ca Language: English - Date: 2006-07-10 21:18:21 Mathematical logic Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Constraint satisfaction Satisfiability Theoretical computer science Constraint programming Mathematics
637	Exhibitor Prospectus Overview Page 2: Demographics Page 3: Page 4: Contact Info Add to Reading List Source URL: www2.dac.com Language: English - Date: 2010-02-17 18:59:13 Integrated circuits Design Automation Conference Logic design Electronic design automation System on a chip Semiconductor intellectual property core Application-specific integrated circuit MOS Technology SID Design flow Electronic engineering Electronics Electronic design
638	metaSMT: Focus On Your Application Not On Solver Integration Finn Haedicke Stefan Frehse Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2011-09-06 04:07:56 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Solver Constraint satisfaction problem Theoretical computer science Applied mathematics Mathematics
639	Circuit Simulation some humbling thoughts… Manfred Wendt Fermi National Accelerator Laboratory, Batavia, IL 60510, U.S.A. 1 Abstract. A short, very personal note on circuit simulation is presented. It does neither incl Add to Reading List Source URL: adweb.desy.de Language: English - Date: 2007-03-14 05:34:42 Electronic circuits SPICE Electronic circuit simulation Logic simulation Simulation Electrical network Electronic circuit Transistor model CircuitLogix Electronic engineering Simulation software Electronic design automation
640	Artisan Components Free IP Business Model June 3, 1999 Produced for Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2000-02-23 20:27:39 Semiconductor device fabrication Electronic design Electronic design automation Logic design Semiconductor intellectual property core Semiconductor fabrication plant Application-specific integrated circuit ARM architecture TSMC Electronic engineering Electronics Digital electronics

UPDATE